AUTOREDUCTEUR définition

AUTOREDUCTEUR

[Topo.] Qualifie un appareil de topométrie donnant directement les distances horizontales.
Trouvé sur https://www.editions-eyrolles.com/Dico-BTP/definition.html?id=720

---